Acta Informatica